BibTeX Entry

Back to list

@inproceedings{isola04,
  author	= {Abdulla, Parosh Aziz and Deneux, Johann and Akerlund, Ove},
  title		= {Designing Safe, Reliable Systems using Scade},
  booktitle	= {Proc. ISoLA '04-1st International Symposium on Leveraging Applications of Formal Methods},
  year		= {2004},
  URL		= {files/isola.ps}
}