Paper Info
Title
Special issue on Automated Specification and Verification of Web Systems
Year
DOI
Venue
2013
10.1016/j.jal.2011.11.001
Journal of Applied Logic
Keywords
DocType
Volume
formal methods,verification
Journal
10
Issue
ISSN
Citations 
1
1570-8683
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Laura Kovács149436.97
Temur Kutsia200.34