BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
Collaborated with:
K.R.Apt
Talks about:
intermitt (1) axiomat (1) tempor (1) method (1) assert (1) logic (1) use (1)

Person: Carole Delporte

DBLP DBLP: Delporte:Carole

Contributed to:

ICALP 19831983

Wrote 1 papers:

ICALP-1983-AptD #axiom #logic #using
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (KRA, CD), pp. 15–27.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.