Skip to main content

Dependable Software Engineering. Theories, Tools, and Applications

6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12153)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SETTA 2020.

  • 4829 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.

The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. 

Similar content being viewed by others

Keywords

Table of contents (12 papers)

Other volumes

  1. Dependable Software Engineering. Theories, Tools, and Applications

Editors and Affiliations

  • University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Jun Pang

  • Chinese Academy of Sciences, Beijing, China

    Lijun Zhang

Bibliographic Information

Publish with us