Preview new version
Enter
Ελληνικά
Enter
Ελληνικά
Toggle navigation
Browse
Search
Indexes
Help
About
Collections
Conference Proceedings
2nd Panhellenic Logic Symposium: proceedings
Export Citation
BibTex
RIS
Text
The VDM+B project: objectives and progress
Conference Paper
uoadl:1057752
297 Read counter
Description
Contents
Original Title:
The VDM+B project: objectives and progress
Languages of Item:
English
Creator:
Bicarregui, Juan C. (Juan Carlos)
Dimitrakos, Theo
Lano, K.
Maibaum, Thomas S. E.
Ritchie, B.
Abstract:
Empty abstract
Main subject category:
Mathematics
Pages (from-to):
71-77
Persistent URL:
https://pergamos.lib.uoa.gr/uoa/dl/object/1057752
The digital material of the item is not available.