On the representation of imperative programs in a logical framework
- Nistal, J.L.F.
- Brañas, E.F.
- Ferro, A.B.
- Souto, D.C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540758662
Año de publicación: 2007
Volumen: 4739 LNCS
Páginas: 202-209
Tipo: Aportación congreso