C. Vicent

List of publications from the DBLP Bibliography Server - FAQ

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

1984

1 Maurice Clint, C. Vicent: The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. Softw., Pract. Exper. 14(8): 711-737 (1984)

1984
1		Maurice Clint, C. Vicent: The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. Softw., Pract. Exper. 14(8): 711-737 (1984)

Coauthor Index

1 Maurice Clint [1]