Bengt Jonsson;Ahmed Hussain Khan;Joachim Parrow
-;-;-
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Mining temporal specifications from object usage
Automated Software Engineering