DDebateDebatede Rosemary Monahan · Publicada por primera vez en 1998MateriasProgramming (Electronic computers)Automatic theorem provingEdiciones (1)Debate (1998)University College Dublin · inglésMás obras de Rosemary MonahanIIntegrated Formal MethodsIntegrated Formal MethodsPProceedings of the 17th Workshop on Formal Techniques for JaProceedings of the 17th Workshop on Formal Techniques for Java-Like ProgramsVer todas las obras de Rosemary Monahan →
PProceedings of the 17th Workshop on Formal Techniques for JaProceedings of the 17th Workshop on Formal Techniques for Java-Like Programs