The first international workshop on automated program analysis, testing and verification
Abstract
Index Terms
- The first international workshop on automated program analysis, testing and verification
Recommendations
Un programme universel de dépouillement intelligent de documents librement structurés
RIAO '04: Coupling approaches, coupling media and coupling languages for information retrievalLa Chaîne de Traitement LADS permet de traiter tout type de document librement structuré pour en extraire tout type de données. Le langage DSL permet la Description de la Structure Logique du type de document de l'application paramétrée, ainsi que la ...
First International Workshop on Quantum Software Engineering (Q-SE 2020)
The First International Workshop on Quantum Software Engineering (Q-SE 2020), co-located with the 42nd International Conference on Software Engineering (ICSE 2020), was held between July 2 and July 3, 2020. The workshop was originally scheduled to be a ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGSOFT Software Engineering Notes](/cms/asset/63500140-d20c-4091-a972-b907d85873e7/3672089.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 410Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in