Travelled to:
1 × The Netherlands
Collaborated with:
P.G.Larsen
Talks about:
subset (1) specif (1) execut (1) meta (1) loos (1)
Person: Poul Bøgh Lassen
DBLP: Lassen:Poul_B=oslash=gh
Contributed to:
Wrote 2 papers:
- VDME-1991-LarsenL #execution #set #specification
- An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.