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/

---

CategoryFormalMethods