Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Amiot, Hervé"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004
Third International Symposium on Formal Methods for Components and Objects, FMCO 2004
Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, 2005, Leiden, The Netherlands, Netherlands. pp.70-94
Third International Symposium on Formal Methods for Components and Objects, FMCO 2004
Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, 2005, Leiden, The Netherlands, Netherlands. pp.70-94
International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::c6e791a87fc1429b586af2ea018f5042
https://hal.science/hal-00457082
https://hal.science/hal-00457082
Autor:
Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul, Cointe, Pierre, Albin-Amiot, Hervé, Denier, Simon
Publikováno v:
Formal Methods for Components & Objects; 2005, p70-94, 25p
Publikováno v:
Proceedings of the 19th Annual ACM SIGPLAN Conference: Object-oriented Programming, Systems, Languages & Applications; 10/24/2004, p301-314, 14p