Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?

Published in: Formal Aspects Comput. (2007)

Keyphrases

logical foundations
case study
user interface
user interaction
user profiles
metadata
data model
data sources
management system
software engineering
programming language