Text

Structured Object-Oriented Formal Language and Method

---

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

---

Availability

No copy data

Detail Information

Series Title

Theoretical Computer Science and General Issues

Call Number

-

Publisher

Cham : Springer., 2015

Collation

VIII, 189

Language

English

ISBN/ISSN

978-3-319-17404-4

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Computer Science

Specific Detail Info

-

Statement of Responsibility

Editors Shaoying Liu, Zhenhua Duan

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-319-17404-4.pdf?pdf=button

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment