skip to content
Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Author: Einar Broch Johnsen; Ina Schaefer
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10886.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Einar Broch Johnsen; Ina Schaefer
ISBN: 9783319929705 3319929704 3319929690 9783319929699
OCLC Number: 1041138991
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiv, 303 pages) : illustrations
Contents: Specification --
Concurrency --
Program analysis --
Model checking and runtime verification --
Applications --
Shape analysis and reuse.
Series Title: Lecture notes in computer science, 10886.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: SEFM 2018
Responsibility: Einar Broch Johnsen, Ina Schaefer (eds.).

Abstract:

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1041138991> # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1041138991" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/information_technology_general_issues> ; # Information technology: general issues
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_computer_science> ; # Computers--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_general> ; # Computers--General
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:alternateName "SEFM 2018" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5237624477#Meeting/staf_federation_of_conferences_2018_toulouse_france> ; # STAF (Federation of conferences) (2018 : Toulouse, France),
    schema:creator <http://experiment.worldcat.org/entity/work/data/5237624477#Meeting/international_conference_on_software_engineering_and_formal_methods_16th_2018_toulouse_france> ; # International Conference on Software Engineering and Formal Methods (16th : 2018 : Toulouse, France)
    schema:datePublished "2018" ;
    schema:description "Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse."@en ;
    schema:description "This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237624477#Person/johnsen_einar_broch> ; # Einar Broch Johnsen
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237624477#Person/schaefer_ina> ; # Ina Schaefer
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5237624477> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237624477#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237624477#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237624477#Series/formal_methods> ; # Formal methods
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237624477#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5237624477#CreativeWork/> ;
    schema:name "Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings"@en ;
    schema:productID "1041138991" ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-92970-5> ;
    schema:url <https://doi.org/10.1007/978-3-319-92970-5> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-92969-9> ;
    schema:workExample <http://worldcat.org/isbn/9783319929705> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-92970-5> ;
    schema:workExample <http://worldcat.org/isbn/9783319929699> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8M3961> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1041138991> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5237624477#Meeting/international_conference_on_software_engineering_and_formal_methods_16th_2018_toulouse_france> # International Conference on Software Engineering and Formal Methods (16th : 2018 : Toulouse, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5237624477#Place/toulouse_france> ; # Toulouse, France),
    schema:name "International Conference on Software Engineering and Formal Methods (16th : 2018 : Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Meeting/staf_federation_of_conferences_2018_toulouse_france> # STAF (Federation of conferences) (2018 : Toulouse, France),
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5237624477#Place/toulouse_france> ; # Toulouse, France),
    schema:name "STAF (Federation of conferences) (2018 : Toulouse, France)," ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Person/johnsen_einar_broch> # Einar Broch Johnsen
    a schema:Person ;
    schema:familyName "Johnsen" ;
    schema:givenName "Einar Broch" ;
    schema:name "Einar Broch Johnsen" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Person/schaefer_ina> # Ina Schaefer
    a schema:Person ;
    schema:familyName "Schaefer" ;
    schema:givenName "Ina" ;
    schema:name "Ina Schaefer" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Place/toulouse_france> # Toulouse, France),
    a schema:Place ;
    schema:name "Toulouse, France)," ;
    schema:name "Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Series/formal_methods> # Formal methods
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:name "Formal methods" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computer_programming_software_development> # Computer programming--software development
    a schema:Intangible ;
    schema:name "Computer programming--software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_computer_science> # Computers--Computer Science
    a schema:Intangible ;
    schema:name "Computers--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_general> # Computers--General
    a schema:Intangible ;
    schema:name "Computers--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_hardware_handheld_devices> # Computers--Hardware--Handheld Devices
    a schema:Intangible ;
    schema:name "Computers--Hardware--Handheld Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/information_technology_general_issues> # Information technology: general issues
    a schema:Intangible ;
    schema:name "Information technology: general issues"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    schema:name "Software engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237624477#Topic/systems_analysis_&_design> # Systems analysis & design
    a schema:Intangible ;
    schema:name "Systems analysis & design"@en ;
    .

<http://worldcat.org/entity/work/data/5237624477#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783319929699>
    a schema:ProductModel ;
    schema:isbn "3319929690" ;
    schema:isbn "9783319929699" ;
    .

<http://worldcat.org/isbn/9783319929705>
    a schema:ProductModel ;
    schema:isbn "3319929704" ;
    schema:isbn "9783319929705" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1041138991>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1041138991> ; # Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    schema:dateModified "2019-08-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.