Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Syntax-driven program verification of matching logic properties.
Bianculli, Domenico
;
Filieri, Antonio
;
Ghezzi, Carlo
et al.
2015
•
In
Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Peer reviewed
Permalink
https://hdl.handle.net/10993/20069
DOI
10.1109/FormaliSE.2015.18
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
formalise2015.pdf
Author preprint (200.11 kB)
Request a copy
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Bianculli, Domenico
;
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Filieri, Antonio
Ghezzi, Carlo
Mandrioli, Dino
Rizzi, Alessandro Maria
External co-authors :
yes
Language :
English
Title :
Syntax-driven program verification of matching logic properties.
Publication date :
May 2015
Event name :
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015), co-located with ICSE 2015
Event place :
Florence, Italy
Event date :
18-05-2015
Audience :
International
Main work title :
Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Publisher :
IEEE
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 18 February 2015
Statistics
Number of views
95 (7 by Unilu)
Number of downloads
2 (2 by Unilu)
More statistics
Scopus citations
®
1
Scopus citations
®
without self-citations
0
WoS citations
™
0
Bibliography
Similar publications
Contact ORBilu