 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2016 | |
| Danvy and de' Liguoro | "Proceedings of the Workshop on Continuations, WoC 2015, London, UK, April 12th 2015" Conference proceedings. |
| 2014 | |
| Bernardo, Damiani, Hähnle, Johnsen and Schaefer | "Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures" Conference proceedings. |
| 2013 | |
| Beckert, Damiani, de Boer and Bonsangue | "Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers" Conference proceedings. |
| Graham-Lengrand and Paolini | "Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012" Conference proceedings. |
| Ronchi Della Rocca | "Proceedings of 22nd Annual Conference on Computer Science Logic (CSL 2013), Torino, September 2-5, 2013 " Conference proceedings. |
| 2012 | |
| Beckert, Damiani and Gurov | "Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers" Conference proceedings. |
| Ghilezan and Paolini | "Revised Papers of the Conference "Intersection Types and Related Systems", Torino, Italia, 2008" Conference proceedings: Fundamenta Informaticæ Special Issue . |
| Pimentel and Ronchi Della Rocca | "Proceedings of Sixth Workshop on Logical and Semantic Frameworks with Applications (LFSA 2011), Belo Horizonte, August 27, 2011 " Conference proceedings. |
| 2010 | |
| Baillot, Curien and Paolini | "Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009", Brasilia, Brazil, 2009" Conference proceedings: LMCS Special Issue . |
| 2009 | |
| Bernardo, Padovani and Zavattaro | "Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures" Conference proceedings. |
| 2007 | |
| Ronchi Della Rocca | "Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings" Conference proceedings. |
| 2005 | |
| Bono, Bugliesi and Drossopoulou | "Workshop on Object-Oriented Developments (WOOD 2004)" Conference proceedings. |
| Coppo and Damiani | "International Workshop on Intersection Types and Related Systems (ITRS 2004)" Conference proceedings: ENTCS, volume 136, Elsevier. |
| 2003 | |
| Bono and Bugliesi | "Workshop on Object-Oriented Developments (WOOD 2003)" Conference proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
