Lessons of a first-year use of the automated reasoning tool

Váncza, József and Márkus, A. (1992) Lessons of a first-year use of the automated reasoning tool. In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.

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: Research Laboratory on Engineering & Management Intelligence
Depositing User: Eszter Nagy
Date Deposited: 11 Dec 2012 12:37
Last Modified: 11 Dec 2012 12:37
URI: http://eprints.sztaki.hu/id/eprint/246

Update Item Update Item