A Stepwise Approach to Linking Theories

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	Unifying Theories of Programming
Publisher	Springer
Publication status	Published - 2016

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{82b871a4b6424f3887d978834abf61d7,

title = "A Stepwise Approach to Linking Theories",

author = "{De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Cavalcanti, {Ana Lucia Caneca} and Jim Woodcock",

year = "2016",

language = "Undefined/Unknown",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Unifying Theories of Programming",

address = "Germany",

}