Programmverifikation

Authors	K.R. Apt E.R. Olderog
Publication date	1994
Number of pages	258
Publisher	Berlin: Springer Verlag
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Book
Permalink to this page