Enriching the Software Development Process by Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Hi-index | 0.00 |