César A. Muñoz

Developing User Strategies in PVS: A Tutorial

Myla Archer, Cesar Munoz, Ben diVito, 2003 .

Design and Application of Strategies/Tactics in Higher Order Logics

Myla Archer, Ben diVito, Ben L. Divito, 2003 .