@article {2144,
	title = {SAL translator user guide},
	volume = {1},
	year = {2008},
	month = {April},
	pages = {113-149},
	institution = {The United Nations University - UNU-IIST},
	address = {Macau, China},
	abstract = {<p>This is a user guide for the {\textquotedblleft}rsltc{\textquotedblright} RAISE tool. This provides type checking; pretty-printing; generation of confidence conditions; showing module dependencies; translation to Standard ML, to C++, and to PVS; and translation to RSL from UML class diagrams. The user guide provides full instructions on the use and installation of this tool on Unix, Linux, and Windows platforms.</p>
},
	issn = {227},
	attachments = {https://haslab.uminho.pt/sites/default/files/agaris/files/sal-userguide.pdf},
	author = {George, Chris and Ana Garis}
}