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.












