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