John Mangino

According to our database, John Mangino authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

UML-VT: A Formal Verification Environment for UML Activity Diagrams.

Zamira Daw, John Mangino, Rance Cleaveland

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015