Formal program verification : a comparison of selected tools and their theoretical foundations / Ingo Feinerer. 2005
Inhalt