Publication detail

Vutbrmsr .NET class library

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

RYŠAVÝ, O.; ŠČUGLÍK, F.

Released

1. 9. 2005

Location

brno

BibTex

@misc{BUT67654,
  author="Ondřej {Ryšavý} and František {Ščuglík}",
  title="Vutbrmsr .NET class library",
  year="2005",
  address="brno"
}