{"id":24332,"date":"2024-09-24T15:47:24","date_gmt":"2024-09-24T13:47:24","guid":{"rendered":"https:\/\/www.itspy.cz\/thesis\/applying-formal-methods-to-analysis-of-semantic-differencesbetween-versions-of-software\/"},"modified":"2024-10-03T11:50:04","modified_gmt":"2024-10-03T09:50:04","slug":"applying-formal-methods-to-analysis-of-semantic-differencesbetween-versions-of-software","status":"publish","type":"thesis","link":"https:\/\/www.itspy.cz\/en\/thesis\/applying-formal-methods-to-analysis-of-semantic-differencesbetween-versions-of-software\/","title":{"rendered":"Applying formal methods to analysis of semantic differences\nbetween versions of software"},"content":{"rendered":"","protected":false},"featured_media":23682,"template":"","meta":{"_acf_changed":false,"_links_to":"","_links_to_target":""},"university":[189,138],"thesis-year":[406,406],"class_list":["post-24332","thesis","type-thesis","status-publish","has-post-thumbnail","hentry","thesis-year-406"],"acf":{"autor":"Franti\u0161ek Ne\u010das","portret":"","vedouci":"Ing. Viktor Mal\u00edk, Ph.D."},"_links":{"self":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis\/24332","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis"}],"about":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/types\/thesis"}],"version-history":[{"count":0,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis\/24332\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/media\/23682"}],"wp:attachment":[{"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/media?parent=24332"}],"wp:term":[{"taxonomy":"university","embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/university?post=24332"},{"taxonomy":"thesis-year","embeddable":true,"href":"https:\/\/www.itspy.cz\/en\/wp-json\/wp\/v2\/thesis-year?post=24332"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}