Bjorner, Dines
[Verfasser:in]
;
Broy, Manfred
[Sonstige Person, Familie und Körperschaft];
Pottosin, Igor' V.
[Sonstige Person, Familie und Körperschaft]
Formal Methods in Programming and Their Applications
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
Formal Methods in Programming and Their Applications
:
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings