Bernhard K. Aichernig · 4 obras en el catálogoObrasFormal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010FFormal methods at the crossroadsFormal methods at the crossroadsFormal methods at the crossroadsTests and Proofs
Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010