Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Formal Asp. Comput."( http://dblp.L3S.de/Venues/Formal_Asp._Comput. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/fac

Publication years (Num. hits)
1989 (15) 1990 (16) 1991-1992 (43) 1993 (18) 1994 (38) 1995 (32) 1996 (31) 1997 (24) 1998 (31) 1999 (30) 2000 (36) 2001-2002 (36) 2003 (29) 2004 (27) 2005 (23) 2006 (25) 2007 (30) 2008 (31) 2009 (31) 2010 (32) 2011 (37) 2012 (20)
Publication types (Num. hits)
article(635)
Venues (Conferences, Journals, ...)
Formal Asp. Comput.(635)
Authors
Jim Woodcock(16) John Derrick(12) Ana Cavalcanti(11) Ralph-Johan Back(11) Wim H. Hesselink(11) Cliff B. Jones(10) Graeme Smith(10) Eerke A. Boiten(9) Ian J. Hayes(7) Jifeng He(7) Martin C. Henson(7) Jan A. Bergstra(6) John Cooke(6) Manfred Broy(6) Steve Reeves(6) Carroll Morgan(5) More (+10 of total 951)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 882 occurrences of 481 keywords
Results
Found 635 publication records. Showing 635 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Hallerstede, Michael Leuschel Experiments in program verification using Event-B. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter Cut Set Analysis using Behavior Trees and model checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan Tobias Mühlberg, Gerald Lüttgen Verifying compiled file system code. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith Temporal-logic property preservation under Z refinement. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jim Woodcock Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones John McCarthy (1927-2011). Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Moonzoo Kim, Yunho Kim, Yunja Choi Concolic testing of the multi-sector read operation for flash storage platform software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston Scalable context-dependent analysis of emergency egress models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli A formal approach to adaptive software: continuous assurance of non-functional requirements. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michele Risi, Giuseppe Scanniello, Genoveffa Tortora Using fold-in and fold-out in the architecture recovery of software systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Natallia Kokash, Christian Krause, Erik P. de Vink Reo + mCRL2: A framework for model-checking dataflow in service compositions. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joé Luiz Fiadeiro Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink, Muhammad Ikram Lali Formalizing a hierarchical file system. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jeff W. Sanders, Graeme Smith Emergence and refinement. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank Zeyda, Marcel Oliveira, Ana Cavalcanti Mechanised support for sound refinement tactics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa, Ralph-Johan Back Invariant diagrams with data refinement. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carroll Morgan Compositional noninterference from first principles. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wilkerson de L. Andrade, Patrícia D. L. Machado Testing interruptions in reactive systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto Assertion-based slicing and slice graphs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Richard Banach Retrenchment for Event-B: UseCase-wise development and Rodin integration. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder A formal approach for the construction and verification of railway control systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn Soundness of workflow nets: classification, decidability, and analysis. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alan Stewart A programming model for BSP with partitioned synchronisation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ioannis T. Kassios The dynamic frames theory. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Reynolds A tableau-based decision procedure for CTL. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Siobhán North, Anthony J. H. Simons Z2SAL: a translation-based model checker for Z. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide Building a push-button RESOLVE verifier: Progress and challenges. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Axel van Lamsweerde The Humble Humorous Researcher: A Tribute to Michel Sintzoff. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra, C. A. Middelburg Thread algebra for poly-threading. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White Verification of distributed systems with local-global predicates. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Linmin Yang, Zhe Dang, Thomas R. Fischer Information gain of black-box testing. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhiming Liu, Jim Woodcock Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephen Wright, Kerstin Eder Using Event-B to construct instruction set architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge Automated property verification for large scale B models with ProB. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif Proving linearizability with temporal logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi An abstract model of service discovery and binding. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang Symbolic decision procedure for termination of linear programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Han Gao, Flemming Nielson, Hanne Riis Nielson CaPiTo: protocol stacks for services. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrew Butterfield A denotational semantics for Handel-C. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric C. R. Hehner A probability perspective. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Geoffrey M. Brown, Lee Pike Automated verification and refinement for physical-layer protocols. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, Ken G. Pierce Elucidating concurrent algorithms via layers of abstraction and reification. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1A. K. McIver, Carroll C. Morgan Compositional refinement in agent-based security protocols. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Mihai Florian Model checking with bounded context switching. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Hallerstede On the purpose of Event-B proof obligations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Sinnig, Ferhat Khendek, Patrice Chalin Partial order semantics for use case and task models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué Generating tests from B specifications and dynamic selection criteria. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta Symbolic predictive analysis for concurrent programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Tiziana Margaria, Jim Woodcock Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi A model checking-based approach for security policy verification of mobile systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandra Cavarra A data-flow approach to test multi-agent ASMs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter D. Mosses VDM semantics of programming languages: combinators and monads. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, Phil Clayton, Colin O'Halloran From control law diagrams to Ada via Circus. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven Jörges, Tiziana Margaria, Bernhard Steffen Assuring property conformance of code generators via model checking. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Egon Börger Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Richard Bornat, Hasan Amjad Inter-process buffers in separation logic with rely-guarantee. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang Lower bounds on lengths of checking sequences. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher Verification and falsification of programs with loops using predicate abstraction. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthew Collinson, David J. Pym Erratum to: Algebra and logic for access control. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Till Mossakowski, Lutz Schröder, Sergey Goncharov A generic complete dynamic logic for reasoning about purity and effects. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang Blaming the client: on data refinement in the presence of pointers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jaime Alejandro Bohórquez An elementary and unified approach to program correctness. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec From StPowla processes to SRML models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien, Alban Tiberghien From a domain analysis to the specification and detection of code and design smells. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio A process algebraic framework for specification and validation of real-time systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohamed Saleh, Mourad Debbabi A game-theoretic framework for specification and verification of cryptographic protocols. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fernando Orejas, Hartmut Ehrig, Ulrike Prange Reasoning with graph constraints. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthew Collinson, David J. Pym Algebra and logic for access control. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Larissa Meinicke, Kim Solin Refinement algebra for probabilistic programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jesús Aransay, Clemens Ballarin, Julio Rubio Generating certified code from formal proofs: a case study in homological algebra. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Artur Boronat, José Meseguer An algebraic semantics for MOF. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Juan de Lara, Hans Vangheluwe Automating the transformation-based analysis of visual languages. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange Consistent integration of models based on views of meta models. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pascal Mathis, Simon E. B. Thierry A formalization of geometric constraint systems and their decomposition. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee Translating FSP into LOTOS and networks of automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Arjan J. Mooij Invariant-based reasoning about parameterized security protocols. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Wahl, Vijay D'Silva A lazy approach to symmetry reduction. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel Deriving non-Zeno behaviour models from goal models using ILP. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adolfo Duran, Ana Cavalcanti, Augusto Sampaio An algebraic approach to the design of compilers for object-oriented languages. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Richard Banach, Gerhard Schellhorn Atomic actions, and their refinements to isolated protocols. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte Automatic verification of Java programs with dynamic frames. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink Solutions of equations in languages. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralph-Johan Back Structured derivations: a unified proof style for teaching mathematics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling Preserving correctness during business process model configuration. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcel Oliveira, Ana Cavalcanti, Jim Woodcock A UTP semantics for Circus. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrency, Theorem proving, Relational model, Refinement calculus
1Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang Tool support for learning Büchi automata and linear temporal logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
1Paul Boca, Raymond T. Boute, David Duce, José Oliveira Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ingo Feinerer, Gernot Salzer A comparison of tools for teaching formal software verification. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system
1Wolfgang Schreiner The RISC ProofNavigator: a proving assistant for program verification in the classroom. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Interactive proving assistants, Teaching formal methods, Computer-aided verification
1Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller Beyond contracts for concurrency. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leo Freitas, Jim Woodcock FDR Explorer. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
1Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba A rigorous methodology for specification and verification of business processes. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Howells, Mark d'Inverno A CSP model with flexible parallel termination semantics. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Gerhard Schellhorn Relational concurrent refinement part II: Internal operations and outputs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
1Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle Practice-oriented courses in formal methods using VDM++. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 635 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.