Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and se...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Mazzara, Manuel (Editor, http://id.loc.gov/vocabulary/relators/edt), Ober, Iulian (Editor, http://id.loc.gov/vocabulary/relators/edt), Salaün, Gwen (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Series: | Programming and Software Engineering ;
11176 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Correct System Design Recent Insights and Advances /
Published: (1999) -
Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Published: (2000) -
Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Published: (2002) -
Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Published: (1997) -
FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Published: (1999)