Alvaro Tasistro

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

2 EE Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93

1996

1 Alvaro Tasistro: Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. TYPES 1996: 354-372

1999
2	EE	Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93
1996
1		Alvaro Tasistro: Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. TYPES 1996: 354-372

Coauthor Index

1 Gustavo Betarte [2]

2 Cristina Cornes [2]

3 Nora Szasz [2]