Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Winter, Victor L."'
Autor:
Winter, Victor L.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2007 174(1):99-114
Autor:
Winter, Victor L.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 March 2005 124(1):149-170
Publikováno v:
In Science of Computer Programming 2004 52(1):165-212
Publikováno v:
In Advances In Computers 2003 58:47-116
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
Publikováno v:
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering; 2014, p137-145, 9p
Publikováno v:
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering; 1/ 1/2012, p122-129, 8p
Autor:
Winter, Victor L., Mametjanov, Azamat
Publikováno v:
Proceedings of the 6th International Conference: Generative Programming & Component Engineering; 10/ 1/2007, p185-196, 12p
Publikováno v:
ACM Transactions on Embedded Computing Systems; Nov2006, Vol. 5 Issue 4, p773-818, 46p
Publikováno v:
Computer (00189162); Apr98, Vol. 31 Issue 4, p35, 3p, 1 Color Photograph