Search results
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 140-154
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Methodology > 133-153
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 454-486
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 361-385
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 669-695