Verifying Fluke IPC

Pat, John, Ajay, Godmar & Jeff

University of Utah