D. Musser

发表

Alexander A. Stepanov, David R. Musser, D. Musser, 1987, SIGAda '87.

Alexander A. Stepanov, David R. Musser, D. Musser, 1988, ISSAC.

David R. Musser, D. Musser, 1975, JACM.

L. E. Heindel, G. E. Collins, E. Horowitz, 1972 .

David R. Musser, Gor V. Nishanov, D. Musser, 2008, ArXiv.

David R. Musser, D. Musser, 1997, Softw. Pract. Exp..

Douglas Gregor, Sibylle Schupp, Jaakko Järvi, 2005 .

David R. Musser, Aaron Kershenbaum, A. Kershenbaum, 2004 .

D. Kapur, P. Narendran, D. Musser, 2008 .

David R. Musser, George E. Collins, G. E. Collins, 1977, Information Processing Letters.

J. Guttag, E. Horowitz, D. Musser, 2013 .

Alexander A. Stepanov, David R. Musser, D. Musser, 1989, Springer Compass International.

David R. Musser, David S. Wile, D. A. Baker, 1980, IFIP Congress.

Sibylle Schupp, David R. Musser, Douglas P. Gregor, 2001, GCSE.

Davidr . Musser, D. Musser, 1980 .

David R. Musser, D. Musser, 1980, IEEE Transactions on Software Engineering.

Deepak Kapur, David R. Musser, Xumin Nie, 1994, Theor. Comput. Sci..

David R. Musser, D. Musser, 1978, JACM.

Deepak Kapur, David R. Musser, D. Kapur, 1982, EUROCAM.

Erich Kaltofen, David R. Musser, B. David Saunders, 1981, SYMSAC '81.

Alexander A. Stepanov, P. J. Plauger, David R. Musser, 2000 .

Alexander A. Stepanov, David R. Musser, D. Musser, 1993 .

Sibylle Schupp, David R. Musser, Shin-Ming Liu, 2002, Inf. Softw. Technol..

Sibylle Schupp, David R. Musser, Douglas P. Gregor, 2001, Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation.

Deepak Kapur, David R. Musser, John V. Guttag, 1983, SIAM J. Comput..

David R. Musser, Atul Saini, D. Musser, 1996, Addison-Wesley professional computing series.

David R. Musser, Mark S. Shephard, Eunyoung Seegyoung Seol, 2005 .

David R. Musser, D. Musser, 1980, POPL '80.

David R. Musser, Jaakko Järvi, Andrew Lumsdaine, 2004 .

David R. Musser, Roddy W. Erickson, D. Musser, 1980, CADE.

Ellis Horowitz, David R. Musser, John V. Guttag, 1978, CACM.

Ellis Horowitz, David R. Musser, John V. Guttag, 1977, Language Design for Reliable Software.

Ellis Horowitz, David R. Musser, John V. Guttag, 1976, ICSE '76.

David R. Musser, Carlos A. Varela, D. Musser, 2013, AGERE! 2013.

Úlfar Erlingsson, Erich Kaltofen, David R. Musser, 1996, ISSAC '96.

Deepak Kapur, David R. Musser, D. Kapur, 1987, Artif. Intell..

Sibylle Schupp, David R. Musser, Jaakko Järvi, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

D. Musser, Alexander A. Stepanov, 1988, Lecture Notes in Computer Science.

Sibylle Schupp, David R. Musser, Shin-Ming Liu, 2001, CC.

Alexander A. Stepanov, David R. Musser, Aaron Kershenbaum, 2004 .

David R. Musser, D. Musser, 2001 .

Paliath Narendran, Deepak Kapur, David R. Musser, 1988, J. Symb. Comput..

Sibylle Schupp, David R. Musser, Douglas P. Gregor, 2003, Sci. Program..

Eric Gamess, David R. Musser, Arturo J. Sánchez-Ruíz, 1998, CLEI Electron. J..

David R. Musser, Arturo J. Sánchez-Ruíz, D. Musser, 1998, Generic Programming.

Dirk Deridder, D. Musser, J. V. Leeuwen, 2001, Lecture Notes in Computer Science.