Published in: Lecture notes in computer science ; 3455

Published in: Cambridge companions to culture

Published in: Lecture notes in computer science ; 7321

Published in: Lecture notes in computer science ; 3455

Published in: FME 2002:Formal Methods—Getting IT Right

Published in: Science of Computer Programming

Published in: Science of Computer Programming

Published in: Lecture Notes in Computer Science

Published in: Formal Aspects of Computing

Published in: Electronic Notes in Theoretical Computer Science

Published in: Formal Aspects of Computing

Published in: Software & Systems Modeling

Published in: Lecture Notes in Computer Science

Published in: ZB 2002:Formal Specification and Development in Z and B

Published in: ZB 2000: Formal Specification and Development in Z and B

Published in: Electronic Notes in Theoretical Computer Science

Published in: Formal Aspects of Computing

Published in: International Journal on Software Tools for Technology Transfer

Published in: Software Engineering and Formal Methods

Published in: Electronic Notes in Theoretical Computer Science