Etienne Reichert

According to our database, Etienne Reichert authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Formal specification and validation at work: a case study using VDM-SL.

Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998