Search results for: Sabine Glesner
Lecture Notes in Computer Science > FME 2003: Formal Methods > Program Checking and Testing > 758-777
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Articles by Participants > 245-261