[ACM Press the Second International Conference - Coimbatore UNK, India (2012.10.26-2012.10.28)] Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology - CCSEIT '12 - A comparative study of two formal specification languages
Kaur, Arvinder, Gulati, Samridhi, Singh, SaritaYear:
2012
Language:
english
DOI:
10.1145/2393216.2393304
File:
PDF, 841 KB
english, 2012