scientific article

zbMATH Open0982.68818MaRDI QIDQ2779763

Iulian Ober, Alain Kerbrat

Publication date: 15 April 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2078/20780182

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

On the testability of SDL specifications ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779763)