1
VDM and Z. 1990, 3 : formal methods in software development : Vdm, proceedings : international symposium of vdm Europe, proceedings : Kiel, 17.04.90-21.04.90.
Book
Other Personal Name(s): “...Bjoerner, D....”
Loan/Reservation

Favorites
Saved in:
2
The Vienna development method : the meta language.
Book
Other Personal Name(s): “...Bjoerner, D....”
Loan/Reservation

Favorites
Saved in: