Recent Insights and Advances
Lecture Notes in Computer Science > Correct System Design > Automation > 139-162
Lecture Notes in Computer Science > Correct System Design > Automation > 163-179
Lecture Notes in Computer Science > Correct System Design > Automation > 180-197
Lecture Notes in Computer Science > Correct System Design > A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development > 29-60
Lecture Notes in Computer Science > Correct System Design > Monotonicity in Calculational Proofs > 79-85
Lecture Notes in Computer Science > Correct System Design > Real-Time Constraints Through the ProCoS Layers > 61-78