Přístupnostní navigace
E-application
Search Search Close
Publication detail
RYŠAVÝ, O., ŠČUGLÍK, F.
Original Title
Vutbrmsr .NET class library
Language
English
Original Abstract
The software project implementes the basic and extendible infrastructure for verification algorithms and data structures. It targets Microsoft ROTOR/.NET framework.
Keywords
ROTOR/.NET framework, class library, verification algorithms and data structures
Authors
Released
1. 9. 2005
Location
brno
Pages count
1
BibTex
@misc{BUT67654, author="Ondřej {Ryšavý} and František {Ščuglík}", title="Vutbrmsr .NET class library", year="2005", pages="1", address="brno" }