Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings / Radu Calinescu, Corina S. Păsăreanu (eds.)

Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: International Conference on Software Engineering and Formal Methods Online
Other Authors: Calinescu, Radu C., 1968- (Editor), Păsăreanu, Corina S. (Editor)
Other title:SEFM 2021.
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, 2021.
Series:Lecture notes in computer science ; 13085.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.758
QA76.758 Available