next up previous
Next: Introduction

The Alloy-Theoretic Automated Toolkit (ATAT): A User Guide

Axel van de Walle





avdw@alum.mit.edu Mon Jun 22 11:08:18 CDT 2009