P. G. Larsen

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Software Systems Development With CD: Formal Methods into Practice978-O-521-59188-1
(O-521-59188-O)
2002J. Fitzgerald

G.L. · G Larsen · P.G. · Peter G. Larsen · Peter Gorm Larsen

P., G. Laux und W. Pöldinger. Riederer