Results 141 to 150 of about 7,912 (158)

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Zengxiang Li   +2 more
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, Jim Woodcock   +2 more
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly  

Formal methods

ACM Computing Surveys, 2009
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui   +2 more
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

Formal versus informal entrepreneurship in emerging economies: The roles of governance and the financial sector

Journal of Business Research, 2020
Anis Omri
exaly  

The Interrelationships Among Informal Institutions, Formal Institutions, and Inward Foreign Direct Investment

Journal of Management, 2013
R Michael Holmes, Toyah L Miller, Michael A Hitt   +2 more
exaly  

On the Evolution of Trust, Distrust, and Formal Coordination and Control in Interorganizational Relationships

Group and Organization Management, 2007
Paul W L Vlaar, Henk W Volberda
exaly  

Formal control and social control in domestic and international buyer–supplier relationships

Journal of Operations Management, 2010
En Xie, Hock-Hai Teo, Mike W Peng
exaly  

Knowledge reduction in decision formal contexts

Knowledge-Based Systems, 2011
Jinhai Li
exaly