@dblp

On the Representation of Imperative Programs in a Logical Framework.

, , , and . EUROCAST, volume 4739 of Lecture Notes in Computer Science, page 202-209. Springer, (2007)

Links and resources

Tags