Butler, Michael
[HerausgeberIn];
Hinchey, Michael G.
[Sonstige Person, Familie und Körperschaft];
Larrondo-Petrie, Maria M.
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 9 2007 Boca Raton, Fla
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Formal methods and software engineering
:
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings