author:Groves, Lindsay | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Formal Methods - Pacific 97: Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium (Discrete Mathematics and Theoretical Computer Science)

Groves, Lindsay／Reeves, Steve

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering)

Groves, Lindsay／Sun, Jing