Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

VDM-Europe. International Symposium | lit.salon

Author

VDM-Europe. International Symposium

1 works

1990 across 1 dated work

No biography is available yet.

Start with

VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings1990
With D. Bjorner, C. A. R. Hoare

Books

1 work

Featured (1)Featured (1)All (1)All (1)

Search booksSort books

VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings1990
With D. Bjorner, C. A. R. Hoare
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around VDM-Europe. International Symposium.

The conversation is still open.

There is no public salon activity to show for VDM-Europe. International Symposium yet.