Max Goldman

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Max Goldman, Robert C. Miller: Codetrail: Connecting source code and web resources. VL/HCC 2008: 65-72

2007

1 EE Max Goldman, Shmuel Katz: MAVEN: Modular Aspect Verification. TACAS 2007: 308-322

2008
2	EE	Max Goldman, Robert C. Miller: Codetrail: Connecting source code and web resources. VL/HCC 2008: 65-72
2007
1	EE	Max Goldman, Shmuel Katz: MAVEN: Modular Aspect Verification. TACAS 2007: 308-322

Coauthor Index

1 Shmuel Katz [1]

2 Rob Miller (Robert C. Miller) [2]