People Interested In Formal Patterns
People who have corresponded in the PatternsList on FormalMethodsAndPatterns include:
- ChrisWoodcock (c.j.woodcock@cs.stir.ac.uk)
- BillOpdyke (opdyke@ixserve.att.com) (opdyke@cs.uiuc.edu)
- MatthiasRiebisch (Matthias.Riebisch@theoinf.tu-ilmenau.de)
- SteveRoggenkamp (sroggen@infinet.com)
- AlanWills (alan@trireme.com)
- SteveGoodman (sgoodman@charm.net)
- ChrisMarshall (stimpy@htp.net)
- JamesNoble (kjx@socs.uts.edu.au)
- Roland Schachtschabel (Schachtschabel@inverso.de)
- Amnon H. Eden (eden@essex.ac.uk) http://www.lepus.org.uk/ref/companion/