Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Lyx/   (Lyx Textverarbeitung ©)  Datei vom 26.9.1998 mit Größe 7 kB image not shown  

Quellcode-Bibliothek README.txt   Sprache: unbekannt

 
Author: V. S. Alagar and D. Muthiayen and K. Periyasamy


Alagar, Muthiayen and Periyasamy have developed formal specifications for 
a Graph Editor using VDM-SL. More information can be found in:

V.S. Alagar, D. Muthiayen and K. Periyasamy, "VDM-SL Specification of a Graph 
Editor", Technical Report, Department of Computer Science, Concordia 
University, Montreal, Canada, May 1996. 


Language Version: vdm10

[ 0.4Quellennavigators  Projekt   ]