P. Cousot & R. Cousot, Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game Theoretic Form (original) (raw)

\bibitem{CousotCousot95-2} P.Cousot and R.Cousot. \newblock Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game Theoretic Form, invited paper. \newblock In \emph{Conference on Computer-Aided Verification, CAV'95}, P{.}~Wolper (Ed.). Li`ege, Belgium, Lecture Notes in Computer Science 939, pages 293--308. Springer-Verlag, Berlin, Germany, July 3--5, 1995.

@inproceedings{CousotCousot95-2, author = {Cousot, P{.} and Cousot, R{.}}, title = {Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form, invited paper}, editor = {Wolper, P{.}}, booktitle = {Proceedings of the Seventh International Conference on Computer Aided Verification, CAV$,$'95}, address = {Li{`e}-ge, Belgium, Lecture Notes in Computer Science 939}, publisher = {Springer-Verlag, Berlin, Germany}, month = {3--5 July}, year = 1995, pages = {293--308}, }