Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science - Romania
doi 10.7561/sacs.2012.2.267
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2012
Authors
Publisher
Scientific Annals of Computer Science