How to Install PHAVer on Mac OS X. Cassez, F. Short Note, NICTA, Sydney, Australia, 2009.
How to Install PHAVer on Mac OS X [pdf]Paper  How to Install PHAVer on Mac OS X [link]Link  abstract   bibtex   
This short note explains how to install PHAVer (and the needed libraries) for a single user on Mac OS X running Leopard (10.5.6). It might also work for earlier versions (you can report to me in case of a successful install on earlier version).

Downloads: 0