مرور بر اساس تاریخ انتشار Hoang, Thai Son. ;
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Contributor(s) |
---|---|---|---|
2018 | Abstract State Machines, Alloy, B, TLA, VDM, and Z | Butler, Michael. ;; Raschke, Alexander. ;; Hoang, Thai Son. ;; Reichl, Klaus. ; |