Leucker M.'s Documents

Leucker M.'s Documents

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Functional programming languages for verification tools.A comparison of Standard ML and Haskell
Read more
Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
Read more
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Read more
Resurgence

Resurgence
Read more
Revenant Rising

Revenant Rising
Read more
Revenant Rising

Revenant Rising
Read more
Retribution

Retribution
Read more
The Priority of Justice: Elements for a Sociology of Moral Choices

The Priority of Justice: Elements for a Sociology of Moral Choices
Read more
War Surf

War Surf
Read more
One Hundred Selected Games

One Hundred Selected Games
Read more
Playing Bit Parts in Shakespeare

Playing Bit Parts in Shakespeare
Read more
Death In Berlin

Death In Berlin
Read more
Mediaeval Trade and Finance

Mediaeval Trade and Finance
Read more
Jackie's Week

Jackie's Week
Read more
Hyperthought

Hyperthought
Read more
Het Zwaard Van Goud en Liefde

Het Zwaard Van Goud en Liefde
Read more
All That Was Happy

All That Was Happy
Read more
Groupe de Brauer

Groupe de Brauer
Read more
Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte

Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte
Read more
Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1

Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1
Read more
Handbook of Nonwoven Filter Media

Handbook of Nonwoven Filter Media
Read more
Foundations of Galois Theory (Dover Books on Mathematics)

Foundations of Galois Theory (Dover Books on Mathematics)
Read more
Grumman F-14A Tomcat

Grumman F-14A Tomcat
Read more
Klinikmanual Anästhesie

Klinikmanual Anästhesie
Read more
Logic in computer science - Errata

Logic in computer science - Errata
Read more
Quasi-periodic oscillations for wave equations under periodic forcing

Quasi-periodic oscillations for wave equations under periodic forcing
Read more
Representation theory of finite reductive groups

Representation theory of finite reductive groups
Read more
Continuous Advances in Qcd 2006: William I. Fine Theoretical Physics Institie, Minneapolis, USA, 11-14 May 2006, Proceedings

Continuous Advances in Qcd 2006: William I. Fine Theoretical Physics Institie, Minneapolis, USA, 11-14 May 2006, Proceedings
Read more
All That Was Happy

All That Was Happy
Read more