Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Reynolds, Andrew.; Tasiran, Serdar.
(Language materials, printed)
