< Back to previous page
Project
Specification and Verification of Imperative Programs.
Research about the specification and verification of imperative programs.
Date:1 Oct 2009 → 19 Oct 2010
Keywords:Imperative programs
Disciplines:Applied mathematics in specific fields, Computer architecture and networks, Distributed computing, Information sciences, Information systems, Programming languages, Scientific computing, Theoretical computer science, Visual computing, Other information and computing sciences