Вы здесь

Poll E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Logic for Abstract Data Types as Existential Types 1999 Poll E., Zwanenburg J. Lecture Notes in Computer Science 21.04.1999
СТ A Logic for the Java Modeling Language JML 2001 Jacobs B., Poll E. Lecture Notes in Computer Science 05.05.2001
СТ A Monad for Basic Java Semantics 2000 Jacobs B., Poll E. Lecture Notes in Computer Science 17.06.2000
СТ 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
СТ Formal Techniques for Java-like Programs 2002 Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E. Lecture Notes in Computer Science 17.01.2003
СТ FormalTechniques for Java-Like Programs 2004 Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.09.2004
СТ Pure Type Systems with Definitions 1994 Severi P., Poll E. Lecture Notes in Computer Science 02.08.1994
СТ Reasoning about Card Tears and Transactions in Java Card 2004 Hubbers E., Poll E. Lecture Notes in Computer Science 16.04.2004