Languages
Zufferey, Damien.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Numerical software verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
by:
Zufferey, Damien.; Zamani, Majid.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings /
by:
Zamani, Majid.; Zufferey, Damien.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
Zufferey, Damien.; Beyer, Dirk.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.
Computer logic.
Artificial intelligence.
Software engineering.
Computer software
Logic in AI.
The Computing Profession.
Computers.
Data Structures.
Data structures (Computer science).
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.