Languages
Jensen, Thomas.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
SpringerLink (Online service); Blazy, Sandrine.; Jensen, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
Jensen, Thomas.; SpringerLink (Online service); Blazy, Sandrine.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Software engineering.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.