zweidimensionales bewegtes Bild
Adding contracts to the GCC GNAT Ada standard libraries: to strengthen analysis provided by formal verification tools
- Location
-
Hannover TIB
- Extent
-
185MB, 00:17:43:15 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
FOSDEM 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
FOSDEM VZW
- (when)
-
2021-01-01
- Contributor
-
Huguet, Joffrey
- DOI
-
10.5446/53375
- 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
- Huguet, Joffrey
- FOSDEM VZW
Time of origin
- 2021-01-01
Other Objects (12)
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog
Adding fair choice to Dijkstra's calculus
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog
Adding fair choice to Dijkstra's calculus
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog