Travelled to:
1 × The Netherlands
Collaborated with:
J.Penjam
Talks about:
attribut (1) specif (1) execut (1) model (1)
Person: Merik Meriste
DBLP: Meriste:Merik
Contributed to:
Wrote 1 papers:
- PLILP-1995-MeristeP #execution #modelling #specification
- Attributed Models of Executable Specifications (MM, JP), pp. 459–460.