Henglein, Fritz.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
Shoham, Sharon.; Henglein, Fritz.; SpringerLink (Online service); Vizel, Yakir.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
SpringerLink (Online service); Vizel, Yakir.; Shoham, Sharon.; Henglein, Fritz.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Software engineering.
Computers, Special purpose.
Special purpose computers.
Natural Language Processing (NLP).
Computer science.
Natural language processing (Computer science).
Theory of Computation.
Computers.
Microprogramming .