Marc V. Benveniste

According to our database¹, Marc V. Benveniste authored at least 4 papers between 1988 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

On Using B in the Design of Secure Micro-controllers: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the B 2011 Workshop, 2011

1997

CASTING: A Formally Based Software Test Generation Method.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1991

Writing Operational Semantics in Z: A Sructural Approach.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1988

LPC: A Concurrent Programming Laboratory.

[BibT_eX]

[DOI]

Proceedings of the STACS 88, 1988