Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Cousot, P."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
P. Cousot
,
R. Cousot
Theoretical Computer Science
120
(1), 1993, pp. 123-155
Sometime=always+recursion identical to always on the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
P. Cousot
,
R. Cousot
Acta Informatica
24
(1), 1987, pp. 1-31
Semantic analysis of communicating sequential processes
P. Cousot
,
R. Cousot
Lecture Notes in Computer Science
85
, 1980, pp. 119-133