BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Talks about:
system (1) specif (1) orient (1) logic (1) dynam (1) actor (1)

Person: Roel J. Wieringa

DBLP DBLP: Wieringa:Roel_J=

Contributed to:

TAPSOFT, Vol.2: CCPSD 19911991

Wrote 1 papers:

CCPSD-1991-MeyerW #logic #specification
Actor-Oriented System Specification with Dynamic Logic (JJCM, RJW), pp. 337–357.

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.