A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Hi-index | 0.00 |