Search results for: Kenneth Lausdahl
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 179-194
2014 IEEE 23rd International WETICE Conference > 211 - 216
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 179-194
2014 IEEE 23rd International WETICE Conference > 211 - 216