dblp.uni-trier.dewww.uni-trier.de

Viet Yen Nguyen (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys: MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173

Selection of 1 from 5 records - Viet Yen Nguyen has 7 coauthors

Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)