A Hoare-Style Calculus with Explicit State Updates
Paper i proceeding, 2008

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Richard Bubel

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Chalmers, Data- och informationsteknik

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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)