Analysis of Facile Programs: A Case Study

• Authors:

• Pierpaolo Degano;Corrado Priami;Lone Leth;Bent Thomsen

• Affiliations:

• -;-;-;-

• Venue:
• Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
• Year:
• 1996