Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

The logic of the RAISE specification languageGEORGE, Chris; HAXTHAUSEN, Anne E.Computing and informatics. 2003, Vol 22, Num 3-4, pp 323-350, issn 1335-9150, 28 p.Article

REALLY RETHINKING 'FORMAL METHODS'LORGE PARNAS, David.Computer (Long Beach, CA). 2010, Vol 43, Num 1, pp 28-34, issn 0018-9162, 7 p.Article

Formal approaches to software testing and runtime verification (First combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, VIII-253 p, isbn 978-3-540-49699-1Conference Proceedings

Formal aspects in security and trust (Third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32628-6, 1Vol, X-257 p, isbn 3-540-32628-6Conference Proceedings

Formal Concept Analysis (4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006)Missaoui, Rokia; Schmid, Jürg.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32203-5, 1Vol, X-308 p, isbn 3-540-32203-5Conference Proceedings

Characterizing planar lattices using left-relationsZSCHALIG, Christian.Lecture notes in computer science. 2006, pp 280-290, issn 0302-9743, isbn 3-540-32203-5, 1Vol, 11 p.Conference Paper

Online first publicationJONES, C. B; COOKE, D. J; NOTARMARCO, Christiane et al.Formal aspects of computing. 2004, Vol 16, Num 1, issn 0934-5043, p. 4Article

Congruences of finite distributive concept algebrasGANTER, Bernhard.Lecture notes in computer science. 2004, pp 128-141, issn 0302-9743, isbn 3-540-21043-1, 14 p.Conference Paper

Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper

Tools and education towards formal methods practiceMEYER, John-Jules C.Lecture notes in computer science. 2003, pp 274-279, issn 0302-9743, isbn 3-540-40665-4, 6 p.Conference Paper

FORMAL VERSUS AGILE: SURVIVAL OF THE FITTEST?BLACK, Sue; BOCA, Paul P; BUWEN, Jonathan P et al.Computer (Long Beach, CA). 2009, Vol 42, Num 9, pp 37-45, issn 0018-9162, 9 p.Article

Approches formelles pour le développement de logicielsPOTET, Marie-Laure; SCHOBBENS, Pierre-Yves.TSI. Technique et science informatiques. 2008, Vol 27, Num 8, issn 0752-4072, 137 p.Serial Issue

On the formal analyses of the zhou-gollmann non-repudiation protocolPANCHO-FESTIN, Susan; GOLLMANN, Dieter.Lecture notes in computer science. 2006, pp 5-15, issn 0302-9743, isbn 3-540-32628-6, 1Vol, 11 p.Conference Paper

Professional knowledge management (Third biennial conference, WM 2005, Kaiserslautern, Germanyn, April 10-13, 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30465-7, 1Vol, XXIII-739 p, isbn 3-540-30465-7Conference Proceedings

Formal methods Europe updateFITZGERALD, John.Formal aspects of computing. 2004, Vol 16, Num 1, pp 2-3, issn 0934-5043, 2 p.Article

An undergraduate course on protocol engineering: How to teach formal methods without scaring studentsFERNANDEZ-IGLESIAS, Manuel J; LLAMAS-NISTAL, Martin.Lecture notes in computer science. 2004, pp 153-165, issn 0302-9743, isbn 3-540-23611-2, 13 p.Conference Paper

Tool support for FCATILLEY, Thomas.Lecture notes in computer science. 2004, pp 104-111, issn 0302-9743, isbn 3-540-21043-1, 8 p.Conference Paper

Understanding object-Z operations as generalised substitutionsDUNNE, Steve.Lecture notes in computer science. 2004, pp 328-342, issn 0302-9743, isbn 3-540-21377-5, 15 p.Conference Paper

Challenges arising from applications of agent-based systemsTRUSZKOWSKI, Walt.Lecture notes in computer science. 2003, pp 269-273, issn 0302-9743, isbn 3-540-40665-4, 5 p.Conference Paper

Theoretical aspects of computing (ICTAC 2006)Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-48815-4, 1Vol, XV-370 p, isbn 3-540-48815-4Conference Proceedings

Formal approaches to software testing (5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005)Grieskamp, Wolfgang; Weise, Carsten.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34454-3, 1Vol, XII-217 p, isbn 3-540-34454-3Conference Proceedings

Integrated formal methods (5th international conference, IFM 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30492-4, 1Vol, XI-405 p, isbn 3-540-30492-4Conference Proceedings

Artificial neural networks (Part II : formal models and their applications : ICANN 2005 : 15th International Conference, Warsaw, Poland, September 11-15, 2005 : proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28755-8, XXXII-1045 p, isbn 3-540-28755-8Conference Proceedings

IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004)Boiten, Eerke A; Derrick, John; Smith, Graeme et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21377-5, XI, 540 p, isbn 3-540-21377-5Conference Proceedings