Ricardo Civalero;Bengt Jonsson;Joakim Nilsson
-;-;-
Architecture-driven verification of concurrent systems
Nordic Journal of Computing