Introducing objects through refinement

McComb, T. and Smith, G (2008). Introducing objects through refinement. In: Cuellar, J., Maibaum, T. and Sere, K., FM 2008: Formal Methods. International Symposium on Formal Methods (FM 2008), Turku, Finland, (358-373). 26-30 May, 2008.

Author McComb, T.
Smith, G
Title of paper Introducing objects through refinement
Conference name International Symposium on Formal Methods (FM 2008)
Conference location Turku, Finland
Conference dates 26-30 May, 2008
Proceedings title FM 2008: Formal Methods   Check publisher's open access policy
Journal name Fm 2008: Formal Methods, Proceedings   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2008
Sub-type Fully published paper
ISBN 978-3-540-68235-6
ISSN 0302-9743
Editor Cuellar, J.
Maibaum, T.
Sere, K.
Volume 5014
Start page 358
End page 373
Total pages 16
Language eng
Subjects E1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Q-Index Code E1
Q-Index Status Confirmed Code

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sat, 28 Mar 2009, 02:28:45 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering