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

An Extension of Dynamic Logic for Modelling OCL's @pre Operator

Reviewed Paper In Proceedings
Author(s):Thomas Baar, Bernhard Beckert, and Peter H. Schmitt
In:Fourth Andrei Ershov International Conference on Perspectives of System Informatics
Publisher:Springer
Series:LNCS
Volume:2244
Year:2001
Pages:47-54

BibTeX

@InProceedings{BaarBeckertSchmitt2001,
  author =       {Thomas Baar and Bernhard Beckert and Peter H. Schmitt},
  title =        {An Extension of {D}ynamic {L}ogic for Modelling
		  {OCL}'s {$@pre$} Operator},
  booktitle =    {Fourth Andrei Ershov International
		  Conference on Perspectives of System Informatics},
  venue =	 {Novosibirsk, Russia},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2244},
  pages =        {47--54},
  year =         {2001}	    
}