HOARE Tony について
Microsoft Res., Cambridge, GBR について
STADEN Stephan について
ETH Zurich, Zurich, CHE について
Formal Aspects of Computing について
代数 について
TOP
BOTTOM