Search results for: Ralph-Johan Back
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > Architectures, Design and Interfaces > 3-46
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Talks > 1-1
Lecture Notes in Computer Science > «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications > Short Tool Papers > 96-100
Lecture Notes in Computer Science > Product Focused Software Process Improvement > Experimental Software Engineering > 414-428
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Decision Procedures > 24-39
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 162-183
Lecture Notes in Computer Science > «UML»’99 — The Unified Modeling Language > Precise Behavioral Modeling > 518-533
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Invited Papers > 1-18
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 1 > 19-36