|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 55-75, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot |
Constructing Induction Rules for Deductive Synthesis Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 3-21, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Christopher A. Stone |
Specifications via Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 77-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Weiwen Xu |
Automatic Complexity Analysis for Programs Extracted from Coq Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 35-53, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
ESBC: an application for computing stabilization bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLASE ![In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005, pp. 23-33, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|