Document Open Access Logo

OASIcs, Volume 31, FSFMA'13, Complete Volume

Authors Christine Choppy, Jun Sun



PDF
Thumbnail PDF

File

OASIcs.FSFMA.2013.pdf
  • Filesize: 7.7 MB
  • 105 pages

Document Identifiers

Author Details

Christine Choppy
Jun Sun

Cite AsGet BibTex

Christine Choppy and Jun Sun. OASIcs, Volume 31, FSFMA'13, Complete Volume. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/OASIcs.FSFMA.2013

Abstract

OASIcs, Volume 31, FSFMA'13, Complete Volume
Keywords
  • Formal methods

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail