Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Chang, Bor-Yuh Evan (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Edition: | 1st ed. 2019. |
Series: | Programming and Software Engineering ;
11822 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
Published: (2001) -
Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /
Published: (2000) -
Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
Published: (2002) -
Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
Published: (2003) -
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
Published: (2019)