zweidimensionales bewegtes Bild
Sound and Complete Concolic Testing for Higher-Order Functions
- Location
-
Hannover TIB
- Extent
-
39MB, 00:13:50:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
You, Shu-Hung
Findler, Robert Bruce
Dimoulas, Christos
- DOI
-
10.5446/55063
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- You, Shu-Hung
- Findler, Robert Bruce
- Dimoulas, Christos
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Decomposition of Higher-Order Wright Convex Functions Revisited
New higher-order basis functions for Curvilinear finite elements
The role of oligodendrocytes in higher-order circuit functions
Functions-as-constructors higher-order unification: extended pattern unification
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Higher-Order Alphabet Physical Unclonable Functions : Constructions, Properties, and Applications
Fourier series of higher-order Bernoulli functions and their applications
Series of sums of products of higher-order Bernoulli functions
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Decomposition of Higher-Order Wright Convex Functions Revisited
New higher-order basis functions for Curvilinear finite elements
The role of oligodendrocytes in higher-order circuit functions
Functions-as-constructors higher-order unification: extended pattern unification
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Higher-Order Alphabet Physical Unclonable Functions : Constructions, Properties, and Applications
Fourier series of higher-order Bernoulli functions and their applications
Series of sums of products of higher-order Bernoulli functions
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Decomposition of Higher-Order Wright Convex Functions Revisited
New higher-order basis functions for Curvilinear finite elements
The role of oligodendrocytes in higher-order circuit functions
Functions-as-constructors higher-order unification: extended pattern unification
Higher-order computability
Higher-Order Tableaux
Higher-order misinformation
Higher-order learning
Higher-Order Alphabet Physical Unclonable Functions : Constructions, Properties, and Applications
Fourier series of higher-order Bernoulli functions and their applications