Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Translating the Object Constraint Language into First-order Predicate Logic

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Uwe Keller, and Peter H. Schmitt
In:VERIFY Workshop (VERIFY 2002) at FLoC 2002: Federated Logic Conferences
Year:2002

Note

Available at https://formal.kastel.kit.edu/~key/doc/2002/BeckertKellerSchmitt02.ps.gz

BibTeX

@inproceedings{BeckertKellerSchmitt02,
  author       = {Bernhard Beckert and Uwe Keller and Peter H. Schmitt},
  title        = {Translating the {O}bject {C}onstraint {L}anguage into First-order
                  Predicate Logic},
  booktitle    = {{VERIFY} Workshop ({VERIFY} 2002) at {FLoC} 2002: Federated Logic
                  Conferences},
  venue        = {Copenhagen, Denmark},
  year         = {2002},
  note         = {Available at
		  \url{https://formal.kastel.kit.edu/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}