Eine Methode Zur Rechnergestützten Verifikation von While-Programmen

Programmiersprachen - Informatik-Fachberichte ◽

10.1007/978-3-642-66319-2_5 ◽

1976 ◽

pp. 43-51

Author(s):

Alfred Lothar Luft

Download Full-text