slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introduction to B and GSL (Cont.)<br />
• The developer write programs (machines) using Abstract Machine Notation<br />
(AMN) into the B-Toolkit.