Parallel hardware design in BHALLERSTEDE, Stefan.Lecture notes in computer science. 2003, pp 101-102, issn 0302-9743, isbn 3-540-40253-5, 2 p.Conference Paper

ZB 2003 : formal specification and development in Z and B (Turku, 4-6 June 2003)Bert, Didier; Bowen, Jonathan P; King, Steve et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40253-5, XIII, 545 p, isbn 3-540-40253-5Conference Proceedings

To be or not to be ... a global constraintBESSIERE, Christian; VAN HENTENRYCK, Pascal.Lecture notes in computer science. 2003, pp 789-794, issn 0302-9743, isbn 3-540-20202-1, 6 p.Conference Paper

Characters + mark-up = Z LexisTOYN, Ian; STEPNEY, Susan.Lecture notes in computer science. 2002, pp 100-119, issn 0302-9743, isbn 3-540-43166-7Conference Paper

The OntoWordNet project: Extension and axiomatization of conceptual relations in WordNetGANGEMI, Aldo; NAVIGLI, Roberto; VELARDI, Paola et al.Lecture notes in computer science. 2003, pp 820-838, issn 0302-9743, isbn 3-540-20498-9, 19 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

Confidentiality levels and deliberate/indeliberate protocol attacks. DiscussionBELLA, Giampaolo; BISTARELLI, Stefano; COHEN, Ernie et al.Lecture notes in computer science. 2003, pp 104-119, issn 0302-9743, isbn 3-540-20830-5, 16 p.Conference Paper

Automatically generating information from a Z specification to support the Classification Tree MethodHIERONS, Robert M; HARMAN, Mark; SINGH, Harbhajan et al.Lecture notes in computer science. 2003, pp 388-407, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

STG: A symbolic test generation toolCLARKEL, Duncan; JERON, Thierry; RUSU, Vlad et al.Lecture notes in computer science. 2002, pp 470-475, issn 0302-9743, isbn 3-540-43419-4Conference Paper

Modeling agent-based systemsMANDUTIANU, Sanda.Lecture notes in computer science. 2001, pp 318-320, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Formal methods in software practiceDILLON, Laura K; SANKAR, Sriram.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 265-323, issn 0098-5589Serial Issue

BE⁴ : The B extensible eclipse editing environmentBENDISPOSTO, Jens; LEUSCHEL, Michael.Lecture notes in computer science. 2006, pp 270-273, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

Efficient, verifiable shuffle decryption and its requirement of unlinkabilityJUN FURUKAWA.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21018-0, 14 p.Conference Paper

Corpus-based rules for Czech verb discontinuous constituentsZACKOVA, E; PALA, K.Lecture notes in computer science. 1999, Vol 1692, pp 325-328, issn 0302-9743, isbn 3-540-66494-7Conference Paper

ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)Treharne, Helen; King, Steve; Henson, Martin et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25559-1, XV, 491 p, isbn 3-540-25559-1Conference Proceedings

ZML: XML support for standard ZUTTING, Mark; TOYN, Ian; JING SUN et al.Lecture notes in computer science. 2003, pp 437-456, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Eriksson, Lars-Henrik; Lindsay, Peter Alexander.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, XI, 624 p, isbn 3-540-43928-5Conference Proceedings

Experiences in using B and UML in industrial developmentOLIVER, Ian.Lecture notes in computer science. 2006, pp 248-251, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

From a formal user model to design rulesCURZON, Paul; BLANDFORD, Ann.Lecture notes in computer science. 2002, pp 1-15, issn 0302-9743, isbn 3-540-00266-9, 15 p.Conference Paper

Formal definitions of language-based coverage metrics in the context of the language-oriented approachCOGAN, Boris; MATVEEVA, Tamara; NIKIFOROYA, Nataliya et al.SoftCOM 2002 : international conference on software, telecommunications and computer networksSoftCOM 2002 : international conference on software, telecommunications and computer networks. 2002, pp 28-34, isbn 953-6114-52-6, 7 p.Conference Paper

Un modèle formel pour l'évolution = Formal model for evolutionDOMENECH, L; LIBOUREL, T.INFORSID. Congrès. 1996, pp 427-441, isbn 2-906855-12-XConference Paper

BRAMA : A new graphic animation tool for b models clearsy -2007 B conferenceSERVAT, Thierry.Lecture notes in computer science. 2006, pp 274-276, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 3 p.Conference Paper

An approach to symbolic test generationRUSU, Vlad; DU BOUSQUET, Lydie; JERON, Thierry et al.Lecture notes in computer science. 2000, pp 338-357, issn 0302-9743, isbn 3-540-41196-8Conference Paper

Defining Predictable AssemblyHAMLET, Dick.Lecture notes in computer science. 2006, pp 320-327, issn 0302-9743, isbn 3-540-35628-2, 1Vol, 8 p.Conference Paper