David E. Rydeheard

发表

Barney P. Hilken, David E. Rydeheard, 1991, Fundam. Informaticae.
Jeff Z. Pan, David E. Rydeheard, Shenghui Wang, 2008, J. Log. Comput..
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2007, RV.
Howard Barringer, David E. Rydeheard, 2005, We Will Show Them!.
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2012, FM.
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2014, Advances in Modal Logic.
Barney P. Hilken, David E. Rydeheard, D. Rydeheard, 1997, Mathematical Structures in Computer Science.
David E. Rydeheard, Giles Reger, 2018, RV.
David E. Rydeheard, Esther Dennis-Jones, D. Rydeheard, 1993, Formal Aspects of Computing.
Rod M. Burstall, David E. Rydeheard, R. Burstall, 1988, Prentice Hall International Series in Computer Science.
Howard Barringer, David E. Rydeheard, Djihed Afifi, 2010, RV.
David E. Rydeheard, Giles Reger, 2018 .
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2009 .
David E. Rydeheard, Donald Sannella, D. Sannella, 2002, Formal Aspects of Computing.
David E. Rydeheard, Giles Reger, Giles Reger, 2015, RV.
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2014, RAMICS.
Howard Barringer, David E. Rydeheard, Djihed Afifi, 2010, PAAR@IJCAR.
Rod M. Burstall, David E. Rydeheard, R. Burstall, 1985, CTCS.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2009, Log. J. IGPL.
Howard Barringer, David E. Rydeheard, Giles Reger, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
David E. Rydeheard, Jesús Héctor Domínguez Sánchez, 2014, HOWARD-60.
Samson Abramsky, David E. Rydeheard, Axel Poigné, 1985 .
Howard Barringer, David E. Rydeheard, Klaus Havelund, 2010, J. Log. Comput..
Andrew M. Pitts, Peter Dybjer, David E. Rydeheard, 1987, Lecture Notes in Computer Science.
David E. Rydeheard, John G. Stell, J. Stell, 1987, Category Theory and Computer Science.
Alex Groce, Howard Barringer, David E. Rydeheard, 2009, RV.
Renate A. Schmidt, David E. Rydeheard, John G. Stell, 2016, J. Log. Algebraic Methods Program..
Samson Abramsky, Andrew M. Pitts, David E. Rydeheard, 1991 .
Howard Barringer, David E. Rydeheard, 2005 .
Howard Barringer, David E. Rydeheard, Giles Reger, 2015, SOEN.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2014, Language, Culture, Computation.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, RV.
Dov M. Gabbay, Howard Barringer, David E. Rydeheard, 2007, ICSE 2007.
David E. Rydeheard, Giles Reger, Helena Cuenca Cruz, 2015, TACAS.
Rod M. Burstall, David E. Rydeheard, R. Burstall, 1985, CTCS.
David E. Rydeheard, Giles Reger, 2021, Int. J. Softw. Tools Technol. Transf..
David E. Rydeheard, D. Rydeheard, Shenghui Wang, 2022 .