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

Program Verification In A Logical Theory Of Constructions

Peter Dybjer (Institutionen för informationsbehandling)
Lecture Notes in Computer Science (Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings.; Jean-Pierre Jouannaud (Ed.) (0302-9743). Vol. 201 (1985), p. 334-349.
[Konferensbidrag, refereegranskat]

Denna post skapades 2015-02-12.
CPL Pubid: 212458


Institutioner (Chalmers)

Institutionen för informationsbehandling (1900-1987)


Datavetenskap (datalogi)

Chalmers infrastruktur