Though this be madness, yet there is method in it? (Keynote) Conferences

authors

• Wassyng, Alan

status

• published 

publication date

• May 2013

published in

• 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)  Journal

presented at event

• 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Engineering
• Engineering, Electrical & Electronic
• FORMAL METHODS
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1109/formalise.2013.6612270

International Standard Book Number (ISBN) 13

• 978-1-4673-6292-4

start page

• 1

end page

• 7