Anne-Marie G. Discepolo

According to our database¹, Anne-Marie G. Discepolo authored at least 3 papers between 1980 and 1981.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1981

A practical verification system.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1981

Towards a practical specification language.

[BibT_eX]

[DOI]

Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981

1980

Microcomputer access to cross software systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems, 1980