Inhalt des Dokuments
Book chapters (incollection)
Citation key | willig96specifying_and_verifying |
---|---|
Author | Willig, Andreas and Schieferdecker, Ina |
Title of Book | The Steam Boiler Case Study Book |
Year | 1996 |
Month | November |
Editor | Abrial, J. R. and Boerger, E. and Langmaack, H. |
Publisher | Springer Verlag |
Bibtex Type of Publication | JournalPapersAndBookChapters |