Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Busser, R.D."'
Publikováno v:
29th Annual IEEE/NASA Software Engineering Workshop; 2005, p325-332, 8p
Publikováno v:
Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance; 1997, p54-67, 14p
Autor:
Blackburn, M.R., Busser, R.D.
Publikováno v:
Proceedings of 11th Annual Conference on Computer Assurance COMPASS '96; 1996, p237-249, 13p
Autor:
Blackburn, M.R., Busser, R.D.
Publikováno v:
Proceedings 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques; 1999, p137-138, 2p
Conference
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.
Conference
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.
Conference
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.
Conference
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.
Conference
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.