A Hoare-Style Calculus with Explicit State Updates
Paper in proceedings, 2008

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers)

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Richard Bubel

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Chalmers, Computer Science and Engineering (Chalmers)

Proceedings Formal Methods in Computer Science Education (FORMED), Satellite Event of ETAPS 2008, Budapest, Hungary

Subject Categories

Software Engineering

Computer Science

More information

Created

10/6/2017