Detail publikace
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
RATTRAY, C., ŠVÉDA, M., ROZENBLIT, J.
Originální název
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Anglický název
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Jazyk
en
Originální abstrakt
The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002.
Anglický abstrakt
The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002.
Dokumenty
BibTex
@proceedings{BUT64035,
author="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
title="IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
annote="The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002.",
address="University of Stirling",
chapter="64035",
institution="University of Stirling",
year="2002",
month="april",
pages="0",
publisher="University of Stirling",
type="conference proceedings"
}