Static Flow Analysis of the Action Language for Foundational UML.

Jean Malm, Federico Ciccozzi, Jan Gustafsson, Bjrn Lisper, Jonas Skoog

Browse the full ETFA paper archive.