Alain Ah-kee

List of publications from the DBLP Bibliography Server - FAQ

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

1990

1 Alain Ah-kee: Proof Obligations for Blocks and Procedures. Formal Asp. Comput. 2(4): 312-330 (1990)