Cydney Minkowitz

According to our database, Cydney Minkowitz authored at least 2 papers between 1987 and 2010.

Collaborative distances:

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

2010

Formal Specification for Design Diversity: Two Case Histories, One Approach.

Cydney Minkowitz

Proceedings of the Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, 2010

1987

A Formal Description of Object-Oriented Programming Using VDM.

Cydney Minkowitz, Peter B. Henderson

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987