Kurt Nørmark
Research output: Book/Report › Book › Research
}
TY - BOOK
T1 - Synthesis of Program Outlines from Scenarios in DYNAMO
AU - Nørmark, Kurt
N1 - Internet adr.: http://www.cs.auc.dk/ ñormark/dyn-models/static- models/synpooutl.pdf Internet adr.: http://www.cs.auc.dk/ ñormark/dyn-models/static- models/synpooutl.pdf
PY - 1997
Y1 - 1997
M3 - Book
BT - Synthesis of Program Outlines from Scenarios in DYNAMO
ER -