1
Published 1996
Springer Berlin Heidelberg
... Construction, CC '96, held in Linköping, Sweden in April 1996. The 23 revised full papers included were...

2
Published 2012
Springer Berlin Heidelberg
... Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec...

3
Published 1994
Springer Berlin Heidelberg
... of Databases, ADB-94, held at Vadstena, Sweden in June 1994. ADB-94 provided a unique platform...

5
Published 2014
Springer Berlin Heidelberg
... Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume...

6
Published 2023
Springer Nature Switzerland
... on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023. The 19 contributed papers...

7
Published 1997
Springer Berlin Heidelberg
... Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis...

10
Published 2015
Springer International Publishing
... in Stockholm, Sweden, in October 2015. The 11 full papers presented together with 5 short papers in this volume...

11
Published 1996
Springer Berlin Heidelberg
... '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from...

12
Published 2016
Springer International Publishing
... Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers...

13
Published 2015
Springer International Publishing
... in Stockholm, Sweden, in conjunction with the 27th International Conference on Advanced Information Systems...

14
Published 2013
Springer Berlin Heidelberg
... on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013...

15
Published 2012
Springer Berlin Heidelberg
... Development, XP 2012, held in Malmö, Sweden, in May 2012. In the last decade, we have seen agile and lean...

16
Published 2012
Springer Berlin Heidelberg
..., NordSec 2012, held in Karlskrona, Sweden, in October 2012. The 16 revised papers were carefully reviewed...

17
Published 1995
Springer Berlin Heidelberg
... for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects...

20
Published 2008
Springer Berlin Heidelberg
... Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented...