Search results for: Egidio Astesiano
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 132-150
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 1-23
Lecture Notes in Computer Science > TAPSOFT '87 > 169-201
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Workshops, Tutorials and Panels > 791-794
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Algebraic Specification and Logic > 167-189
Lecture Notes in Computer Science > TAPSOFT '91 > 121-142
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Methodology > 95-119