By clibrary on Mon, 06/23/2025 - 19:45 Author Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak Publisher Springer Subject Computer Science Year 2020 ISBN 9783030603472 URL http://link.springer.com/openurl?genre=book&isbn=978-3-030-60347-2