LOTOS based derivation methodology in the PRODAT project
- 31 December 1988
- journal article
- Published by Elsevier in Annual Review in Automatic Programming
- Vol. 14, 7-13
- https://doi.org/10.1016/0066-4138(88)90002-x
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984