Refinement plans for informed formal design

Gudmund Grov, Andrew Ireland, Maria Teresa Llano Rodriguez

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Refinement plans for informed formal design'. Together they form a unique fingerprint.

INIS

Computer Science