Searching for authors named "Andreas Fett" – sorted by Relevance.
-
Part I: Verifying in the Small
- Verifying OPAL Part I: Verifying in the Small Klaus Didrich & Andreas Fett December 1994 Report 94
- Add To MetaCart
-
, Andreas Fett
- Fett 2 , Carola Gerke 1 , Wolfgang Grieskamp 1 , Peter Pepper 1 1 Technische Universit
- Add To MetaCart
-
Formal Specification Of A Safe Plc Language And Its Compiler
- -Moabit 91b D--10559 Berlin Andreas Fett Daimler-Benz AG Alt-Moabit 91b D--10559 Berlin Peter Pepper
- Cited by 8 (2 self) – Add To MetaCart
-
OPAL: Design And Implementation of an Algebraic Programming Language
- Fett 2 , Carola Gerke 1 , Wolfgang Grieskamp 1 , Peter Pepper 1 1 Technische Universitat Berlin
- Cited by 30 (11 self) – Add To MetaCart

