Programming with Miracles. Joshi, R. In 2010. HAL CCSD, Springer Berlin / Heidelberg.
Programming with Miracles [link]Paper  doi  bibtex   
@inproceedings{joshi_programming_2010,
	title = {Programming with {Miracles}},
	url = {https://hal.inria.fr/inria-00524770},
	doi = {10/cs4trs},
	language = {English},
	publisher = {HAL CCSD, Springer Berlin / Heidelberg},
	author = {Joshi, Rajeev},
	year = {2010},
	keywords = {[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]},
}

Downloads: 0