Publication:4430311

zbMath1022.68500MaRDI QIDQ4430311

Flemming Nielson

Publication date: 20 October 2003

Mathematics Subject Classification ID

68N01: General topics in the theory of software

68-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science

Related Items

Two-level semantics and abstract interpretation