Volumes and issues
-
Volume 20
-
Volume 19
-
Volume 18
-
Issue 4
Modeling, verification and Testing of dependable Critical systems (DETECT)
-
Issue 3
Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
-
Issue 2
Special Issue: Applications of Computational Intelligence Techniques to Software Engineering Problems (ACITSEP)
-
Issue 1
Special issue: Software and Systems Reuse
-
Issue 4
-
Volume 17
-
Volume 16
-
Volume 15
-
Volume 14
-
Volume 13
-
Volume 12
-
Volume 11
-
Volume 10
-
Volume 9
-
Volume 8
-
Volume 7
-
Volume 6
-
Volume 5
-
Volume 4
-
Volume 3
-
Volume 2
-
Volume 1