EPTCS 86 - WS-FMDS 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-1841
- ask others
César Andrés, Luis Llana (Eds.): Proceedings 2nd Workshop on Formal Methods in the Development of Software. 2012 EPTCS 86 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2234
- ask others
Simona Nica, Franz Wotawa: Using Constraints for Equivalent Mutant Detection. ... 1-8
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2462
- ask others
Jasen Markovski: Scalable Minimization Algorithm for Partial Bisimulation. ... 9-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2236
- ask others
Maria Spichkova, Florian Hölzl, David Trachtenherz: Verified System Development with the AutoFocus Tool Chain. ... 17-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2736
- ask others
Raúl Pardo, Fernando L. Pelayo: ROSA Analyser: An automatized approach to analyse processes of ROSA. ... 25-32
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2237
- ask others
Andreas Bollin, Abdollah Tabareh: Predictive Software Measures based on Z Specifications - A Case Study. ... 33-40