A Formal Framework For Runtime Verification Of Web Applications An Approach Supported By Scopeextended Linear Temporal Logic
Publisher: VDM Verlag
Published: 2009
ISBN-13: 9783639189438