467 search results - page 94 / 94 » An integration framework for heterogeneous automatic softwar... |
307
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
193
Voted
FMICS
2009
Springer
16 years 12 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...