مرور بر اساس تاریخ انتشار Butler, Michael. ;

Showing results 1 to 1 of 1
PreviewIssue DateTitleContributor(s)
9783319912714.pdf.jpg2018Abstract State Machines, Alloy, B, TLA, VDM, and ZButler, Michael. ;; Raschke, Alexander. ;; Hoang, Thai Son. ;; Reichl, Klaus. ;