F. Loesch

发表

F. Loesch, E. Ploedereder, F. Loesch, 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

Manuel Mazzara, Rainer Gmehlich, Michael Jackson, 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).