Collection Title:	Reprinted Collection
Title :	Extending cross-tool traceability to formal methods
Material Type:	printed text
Authors:	Mason, Paul, Author ; King Mongkut's University of Technology Thonburi. School of Information Technology, Associated Name ; International Conference on Advances in Information Technology (2nd : 2007 : Bangkok),
Pagination:	8 p.
Layout:	ill.
Size:	30 cm.
Price:	50 Baht
Languages :	English (eng)
Descriptors:	[LCSH]Formal methods (Computer science)
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=13757

Reprinted Collection. Extending cross-tool traceability to formal methods [printed text] / Mason, Paul, Author ; King Mongkut's University of Technology Thonburi. School of Information Technology, Associated Name ; International Conference on Advances in Information Technology (2nd : 2007 : Bangkok),  . - [s.d.] . - 8 p. : ill. ; 30 cm.
50 Baht
Languages : English (eng)

Descriptors:	[LCSH]Formal methods (Computer science)
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=13757