Aspects and Data Refinement

Avgustinov, Pavel; Bodden, Eric; Hajiyev, Elnar; Moor, Oege de; Ongkingco, Neil; Sereni, Damien; Sittampalam, Ganesh; Tibble, Julian

Aspects and Data Refinement (bibtex)

@inproceedings{MPCAspects,
	Author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
	Booktitle = {Mathematics of Program Construction { (MPC)}},
	Editor = {Tarmo Uustalu},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Aspects and Data Refinement},
	Url = {https://www.bodden.de/pubs/abh+06aspects-and.pdf},
	Year = {2006},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/abh+06aspects-and.pdf}}