Jérôme Loubersac

According to our database¹, Jérôme Loubersac authored at least 3 papers between 1991 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

A Visual Approach to VDM.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

1991

The Visual Presentation of VDM Specifications.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

Integrating Structured and Formal Methods: A Visual Approach to VDM.

[BibT_eX]

[DOI]

Proceedings of the ESEC '91, 1991