Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)

Stephan Merz; Jun Pang

doi:10.1007/978-3-319-11737-9

Proceedings Year : 2014

Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)

(1) , (2)

1
2

Stephan Merz

Function : Author
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Modeling and Verification of Distributed Algorithms and Systems

Jun Pang

Function : Author
PersonId : 759200
ORCID : 0000-0002-8268-413X

Faculty of Science, Technology and Communication [Luxembourg]

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science [cs] Software Engineering [cs.SE]

Stephan Merz : Connect in order to contact the contributor

https://hal.inria.fr/hal-01098238

Submitted on : Tuesday, December 23, 2014-2:00:26 PM

Last modification on : Wednesday, October 26, 2022-8:09:56 AM

Dates and versions

hal-01098238 , version 1 (23-12-2014)

Identifiers

HAL Id : hal-01098238 , version 1
DOI : 10.1007/978-3-319-11737-9

Cite

Stephan Merz, Jun Pang. Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014). Stephan Merz; Jun Pang. 16th International Conference on Formal Engineering Methods - ICFEM 2014, Nov 2014, Luxembourg, Luxembourg. 8829, Springer, pp.460, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-11737-9. ⟨10.1007/978-3-319-11737-9⟩. ⟨hal-01098238⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

68 View

0 Download

Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods (ICFEM 2014)

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share