Abstract interpretation based formal methods and future challenges

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Informatics - 10 years back, 10 years ahead
Editors	R. Wilhelm
Publisher	Springer
Pages	138-156
State	Published - 2001

Name	LNCS
Volume	2000

Cite this