Chris A. Vissers

From MaRDI portal
Person:1177940

Available identifiers

zbMath Open vissers.chris-aMaRDI QIDQ1177940

List of research outcomes





PublicationDate of PublicationType
Specification styles in distributed systems design and verification1992-06-26Paper

Research outcomes over time

This page was built for person: Chris A. Vissers