Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Raad, Azalea.

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

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

Change password

Login