2012-05-21から1日間の記事一覧
Formal Methods Forumにて、MAUDE 2.0 Primerを輪読中。 fmod AUTHOR is protecting STRING . sort CatalogCard . sorts Name Title PublDate Location . subsort String < Name . subsort String < Title . subsort String < PublDate . subsort String < L…