FFormal methods in specification, CS504a/CS300aFormal methods in specification, CS504a/CS300ade Steven EkerEdiciones (1)Formal methods in specification, CS504a/CS300a.inglésMás obras de Steven EkerAll About Maude - A High-Performance Logical FrameworkVer todas las obras de Steven Eker →