IInteractive Theorem ProvingInteractive Theorem Provingde Marko Van Eekelen, Herman Geuvers, Julien SchmaltzEdiciones (1)Interactive Theorem Proving (2011)Springer · ISBN 9783642228643Más obras de Marko Van EekelenFFoundational and Practical Aspects of Resource AnalysisFoundational and Practical Aspects of Resource AnalysisVer todas las obras de Marko Van Eekelen →
FFoundational and Practical Aspects of Resource AnalysisFoundational and Practical Aspects of Resource Analysis