Brian J. Cardiff

According to our database, Brian J. Cardiff authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis

Proceedings of the Formal Methods and Software Engineering, 2008