Search results for: Yves Ledru
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Modeling Languages > 417-430
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 370-398
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing > 281-294
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Away from the Desktop > 102-113
Lecture Notes in Business Information Processing > Advanced Information Systems Engineering Workshops > First International Workshop on Information Systems Security Engineering (WISSE 2011) > 592-606
Automated Software Engineering > 2012 > 19 > 1 > 65-95
Journal of Automated Reasoning > 2010 > 45 > 4 > 415-435
Formal Methods in System Design > 2007 > 30 > 3 > 217-232