|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo (eds.) |
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005 |
CLASE |
2006 |
DBLP BibTeX RDF |
|
1 | Mario Ornaghi, Marco Benini, Mauro Ferrari 0002, Camillo Fiorentini, Alberto Momigliano |
A Constructive Object Oriented Modeling Language for Information Systems. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot |
Constructing Induction Rules for Deductive Synthesis Proofs. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Christopher A. Stone |
Specifications via Realizability. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Weiwen Xu |
Automatic Complexity Analysis for Programs Extracted from Coq Proof. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo |
Preface. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
ESBC: an application for computing stabilization bounds. |
CLASE |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|