Loading…

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software

Saved in:

Bibliographic Details
Published in:	Electronic notes in theoretical computer science 2003-08, Vol.80, p.1-23
Main Authors:	Bubel, Richard, Hähnle, Reiner
Format:	Article
Language:	English
Citations:	Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!