Published by De Gruyter Oldenbourg March 1, 1997

Software-Verifikation und ihre Anwendungen

Wolfgang Reif

From the journal it - Information Technology

https://doi.org/10.1524/itit.1997.39.3.34

Showing a limited preview of this publication:

Published Online: 1997-03

Published in Print: 1997-03

© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München

Downloaded on 25.4.2024 from https://www.degruyter.com/document/doi/10.1524/itit.1997.39.3.34/html