Verification, Model Checking, and Abstract Interpretation: 20th International...

Lecture Notes in Computer Science Ser.: Design, User Experience and Usability

Lecture Notes in Computer Science Ser.: Tools and Algorithms for the Constructi…

Lecture Notes in Computer Science Ser.: Music in the AI Era : 15th International

Lecture Notes in Computer Science Ser.: Computational Science and Its...

Lecture Notes in Computer Science Ser.: Algorithms and Models for the Web...

Lecture Notes in Computer Science Ser.: Language and Automata Theory and...