Browsing publications by Dr Fernando Dotti

Newcastle Authors	Title	Year
Dr Fernando Dotti Dr Alexei Iliasov Emerson Ribeiro De Mello Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Professor Alexander Romanovsky	Modal systems: Specification, refinement and realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Alexei Iliasov Dr Fernando Dotti Professor Alexander Romanovsky	Structuring Specifications with Modes	2009
Dr Alexei Iliasov Professor Alexander Romanovsky Dr Fernando Dotti	Structuring Specifications with Modes	2009

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 222 7657
[Web Team] [ePrints admin]
©2011 Newcastle University Library