D. Craigen, S. Gerhart, and T. Ralston, "Formal Methods Reality Check: Industrial Usage," IEEE Transactions on Software Engineering, vol. Specifying Software: A Hands-On Introduction - 8. lappuse autors: R. D. Tennent - 2002 - 289 lapas Ierobežota priekšskatīšana -
|