Cotronis, JY and Kacsuk, Péter and Tsiatsoulis, Z. and Dózsa, Gábor and Floros, E. (1998) Integration of formal specifications into GRADE. In: Proceedings of DAPSYS98. Workshop on distributed and parallel systems. Budapest, 1998. ( Institut für angewandte Informatik und Informationssysteme. Technischer Bericht, TR-98102.).

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions:	Laboratory of Parallel and Distributed Systems
Depositing User:	Eszter Nagy
Date Deposited:	11 Dec 2012 14:53
Last Modified:	11 Dec 2012 14:53
URI:	https://eprints.sztaki.hu/id/eprint/1614

Update Item