Volker Stolz1974 · 4 obras en el catálogoGerman computer scientistObrasAdvances in Service-Oriented and Cloud ComputingFFormal Methods : Foundations and ApplicationsFormal Methods : Foundations and ApplicationsTTheoretical Aspects of Computing - ICTAC 2020Theoretical Aspects of Computing - ICTAC 2020RRuntime VerificationRuntime Verification
