Вы здесь

Huisman M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Checking Absence of Illicit Applet Interactions: A Case Study 2004 Huisman M., Gurov D., Sprenger C., Chugunov G. Lecture Notes in Computer Science 16.04.2004
СТ Verification of Java s AbstractCollection Class: A Case Study 2002 Huisman M. Lecture Notes in Computer Science 31.07.2002
СТ The Individual Deployment of Systems Development Methodologies 2002 Huisman M., Iivari J. Lecture Notes in Computer Science 20.06.2002
СТ Compositional Verification of Secure Applet Interations 2002 Barthe G., Gurov D., Huisman M. Lecture Notes in Computer Science 15.05.2002
СТ A Type-Theoretic Memory Model for Verification of Sequential Java Programs 2000 Van Den Berg J., Huisman M., Jacobs B., Poll E. Lecture Notes in Computer Science 13.10.2000
СТ Java Program Verification via a Hoare Logic with Abrupt Termination 2000 Huisman M., Jacobs B. Lecture Notes in Computer Science 25.04.2000
СТ Reasoning about Java Classes 1998 Jacobs B., Van Den Berg J., Huisman M., Van Berkum M. SIGPLAN Notices 23.04.1999
СТ Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools 1998 Hensel U., Huisman M., Jacobs B., Tews H. Lecture Notes in Computer Science 17.04.1998