Constraints-based URDAD Model Verification

Fritz Solms, Priscilla Naa Dedei Hammond, Linda Marshall. Constraints-based URDAD Model Verification. In Leszek A. Maciaszek, Joaquim Filipe, editors, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016. pages 148-155, SciTePress, 2016. [doi]

Authors

Fritz Solms

This author has not been identified. Look up 'Fritz Solms' in Google

Priscilla Naa Dedei Hammond

This author has not been identified. Look up 'Priscilla Naa Dedei Hammond' in Google

Linda Marshall

This author has not been identified. Look up 'Linda Marshall' in Google