@book{38761,
	author = {Malaika Yaqoob  (402482)},
	title = {Specifying verifying security requirement specified in temporal logic of actions},
	publisher = {Riphah International University },
	year = {2020},
	address = {Lahore},
	note = {Submitted in fulfillment of the requirements for the degree of Master of Science in Computer Science at Faculty of Computing.}
}