Alain Ah-kee

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

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