MoL-2023-09: Patrick Weigert A Program Calculus for Dynamical Systems 1.Full Text, 2.Abstract. < Back
