Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Protzenko, Jonathan.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Raad, Azalea.; Protzenko, Jonathan. (Language materials, printed)

Subjects

Computer Hardware. Computer Science Logic and Foundations of Programming. Computer software Computer System Implementation. Logic in AI. Software Engineering. Special Purpose and Application-Based Systems.

Change password

Login