Corporate governance of INFORMATION TECHNOLOGY (IT)
Reasoning about conditional probabilities in a higher-order-logic theorem prover
Formal reliability analysis of combinational circuits using theorem proving
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Probabilistic Analysis of Wireless Systems Using Theorem Proving
Advertisement campaign on Environmental Pollution in Islamabad, Pakistan