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

Muhammad Zubair Malik

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EEMuhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid: Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862
2007
1EEMuhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid: Generating Representation Invariants of Structurally Complex Data. TACAS 2007: 34-49

Coauthor Index

1Sarfraz Khurshid [1] [2]
2Aman Pervaiz [1] [2]
3Engin Uzuncaova [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)