markus roggenbach
Algebra and Coalgebra in Computer Science
Print on DemandThis book constitutes the refereed proceedings of the First International Conference on Algebra a...
Recent Trends in Algebraic Development Techniques
Print on DemandThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3...
Formal Methods for Software Engineering
Print on DemandSoftware programs are formal entities with precise meanings independent of their programmers, so ...
Formal Methods - Fun for Everybody
Print on DemandThis volume constitutes the post-workshop proceedings of the First International Workshop on Form...
Recent Trends in Algebraic Development Techniques
Print on DemandThis book constitutes the thoroughly refereed post-conference proceedings of the 25th Internation...
Formal Methods for Software Engineering
Print on DemandSoftware programs are formal entities with precise meanings independent of their programmers, so ...
Applicable Formal Methods for Safe Industrial Products
Print on DemandThis Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...
- 1