CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Hoare-Style Calculus with Explicit State Updates

Reiner Hähnle (Institutionen för data- och informationsteknik (Chalmers) ; Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Richard Bubel (Institutionen för data- och informationsteknik (Chalmers) ; Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Proceedings Formal Methods in Computer Science Education (FORMED), Satellite Event of ETAPS 2008, Budapest, Hungary (2008)
[Konferensbidrag, refereegranskat]


Denna post skapades 2009-01-12. Senast ändrad 2013-08-08.
CPL Pubid: 85118

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)
Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Datalogi
Programvaruteknik

Chalmers infrastruktur