Detail publikace

Vutbrmsr .NET class library

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

Originální název

Vutbrmsr .NET class library

Jazyk

angličtina

Originální abstrakt

The software project implementes the basic and extendible infrastructure for verification algorithms and data structures. It targets Microsoft ROTOR/.NET framework.

Klíčová slova

ROTOR/.NET framework, class library, verification algorithms and data structures

Autoři

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

Vydáno

1. 9. 2005

Místo

brno

Strany počet

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"
}