×

zbMATH — the first resource for mathematics

Found 37 Documents (Results 1–37)

100
MathJax
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014).
MSC:  68U05 68Q42 68U35
PDF BibTeX XML Cite
Full Text: DOI
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 1-16 (2011).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 143-160 (2009).
MSC:  68T30 68T05
PDF BibTeX XML Cite
Full Text: DOI
Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 3-16 (2008).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 4-23 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 221-236 (2005).
MSC:  68Q60 68N17
PDF BibTeX XML Cite
Full Text: DOI
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 85-103 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 6-23 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 19-33 (2005).
MSC:  68M10 68U35 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 108-127 (2004).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cueva Lovelle, Juan Manuel (ed.) et al., Web engineering. International conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2722, 324-333 (2003).
MSC:  68U99 68U35 68M10
PDF BibTeX XML Cite
Full Text: Link
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 549-567 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link
Butler, Michael (ed.) et al., Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15–18, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43703-7). Lect. Notes Comput. Sci. 2335, 299-318 (2002).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: Link
Shafazand, Hassan (ed.) et al., EurAsia-ICT 2002: Information and communication technology. First EurAsian conference, Shiraz, Iran, October 29-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2510, 667-676 (2002).
MSC:  68U99 68U35 68M10
PDF BibTeX XML Cite
Full Text: Link
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 311-322 (2002).
MSC:  68U99 68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software