Search results for: Pierre Lescanne
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 963-982
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 963-982